1. Compiler Construction
پدیدآورنده : / Jens Knoop
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Leveraging Applications of Formal Methods, Verification, and Validation
پدیدآورنده : / hnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard SteffenعReiner H
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : MINERAL PROCESSING|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
3. Optimal Interprocedural program Optimization: A New Framework and Its Application
پدیدآورنده : / Jens Knoop
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Mathematical Optimization.,Programming (MAthematics)
رده :
QA402
.
K6M2
4. Optimal interprocedural program optimization : a new framwork and its application
پدیدآورنده : Knoop, Jens
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Computer algorithms,، Compilers )Computer programs(
رده :
QA
76
.
L28
Vol
.
1428
